A student position to joint the project team

A student position is available to join the project team at the Institute of Computer Science of the Czech Academy of Sciences.

[ Ostatní příležitosti ]

Quick Info

Requirement: finished Bc study in computer science or expected to finish Bc in this academic year, knowledge of the work in Linux, programming in C++ and Python.

Position: part time 0.4 from May 1, 2019 until December 31, 2019, gross salary 14000 CZK (equivalent to 35000 CZK for full-time).

Responsibilities: The position is intended for experimental research of using SAT solvers for problems from different areas. This includes selection of encodings, construction the instances, selection of the solver parameters, possibly also modifications of the solvers (Glucose, MiniSat). Participation in a theoretical research is welcome, however, it is not necessary.

To apply, please send your CV to ics@cs.cas.cz. Contact person: RNDr. Petr Savický, CSc.

The closing date is April 23, 2019.